(0
 (
  ("(x 1)" 3 11)
  ("(x 2)" 11 23)
  ("(x 3)" 23 27)
  ("(x 4)" 27 32)
  ("(x 5)" 32 37)
  ("(x 6)" 37 67)
  ("(x 5)" 67 71)
  ("(x 4)" 71 74)
  ("(x 3)" 74 79)
  ("(x 2)" 79 92)
  ("(x 1)" 92 125)
  ("(x 2)" 125 129)
  ("(x 3)" 129 132)
  ("(x 4)" 132 135)
  ("(x 5)" 135 162)
  ("(x 4)" 162 166)
  ("(x 3)" 166 170)
  ("(x 2)" 170 178)
  ("(x down)" 4 57)
  ("(x stable)" 57 58)
  ("(x up)" 58 101)
  ("(x stable)" 101 119)
  ("(x down)" 119 144)
  ("(x stable)" 144 155)
  ("(x up)" 155 177)
  ("(x stable)" 177 178)
  ("(y 2)" 3 50)
  ("(y 3)" 50 61)
  ("(y 4)" 61 73)
  ("(y 3)" 73 85)
  ("(y 2)" 85 127)
  ("(y 3)" 127 131)
  ("(y 4)" 131 134)
  ("(y 5)" 134 139)
  ("(y 6)" 139 178)
  ("(y stable)" 4 5)
  ("(y up)" 5 26)
  ("(y stable)" 26 34)
  ("(y down)" 34 68)
  ("(y up)" 68 112)
  ("(y stable)" 112 118)
  ("(y down)" 118 160)
  ("(y stable)" 160 161)
  ("(y up)" 161 178)
 ))
(1
 (
  ("(x 1)" 3 16)
  ("(x 2)" 16 21)
  ("(x 3)" 21 25)
  ("(x 4)" 25 29)
  ("(x 5)" 29 34)
  ("(x 6)" 34 57)
  ("(x 5)" 57 60)
  ("(x 4)" 60 62)
  ("(x 3)" 62 66)
  ("(x 2)" 66 85)
  ("(x 1)" 85 92)
  ("(x 2)" 92 100)
  ("(x 3)" 100 104)
  ("(x 4)" 104 110)
  ("(x 5)" 110 116)
  ("(x 6)" 116 132)
  ("(x 5)" 132 135)
  ("(x 4)" 135 138)
  ("(x 3)" 138 141)
  ("(x 2)" 141 149)
  ("(x 1)" 149 160)
  ("(x down)" 4 46)
  ("(x stable)" 46 47)
  ("(x up)" 47 87)
  ("(x stable)" 87 91)
  ("(x down)" 91 123)
  ("(x stable)" 123 125)
  ("(x up)" 125 151)
  ("(x stable)" 151 157)
  ("(x up)" 157 160)
  ("(y 2)" 3 18)
  ("(y 1)" 18 33)
  ("(y 2)" 33 40)
  ("(y 3)" 40 46)
  ("(y 4)" 46 60)
  ("(y 3)" 60 70)
  ("(y 2)" 70 98)
  ("(y 3)" 98 102)
  ("(y 4)" 102 105)
  ("(y 5)" 105 109)
  ("(y 6)" 109 138)
  ("(y 5)" 138 142)
  ("(y 4)" 142 145)
  ("(y 3)" 145 151)
  ("(y 2)" 151 160)
  ("(y up)" 4 28)
  ("(y down)" 28 54)
  ("(y up)" 54 83)
  ("(y stable)" 83 92)
  ("(y down)" 92 124)
  ("(y up)" 124 157)
  ("(y stable)" 157 158)
  ("(y down)" 158 160)
 ))
(2
 (
  ("(x 1)" 3 4)
  ("(x 2)" 4 16)
  ("(x 3)" 16 19)
  ("(x 4)" 19 23)
  ("(x 5)" 23 27)
  ("(x 6)" 27 49)
  ("(x 5)" 49 53)
  ("(x 4)" 53 56)
  ("(x 3)" 56 60)
  ("(x 2)" 60 87)
  ("(x 3)" 87 90)
  ("(x 4)" 90 93)
  ("(x 5)" 93 101)
  ("(x 6)" 101 117)
  ("(x 5)" 117 121)
  ("(x 4)" 121 124)
  ("(x 3)" 124 126)
  ("(x 2)" 126 130)
  ("(x 1)" 130 156)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 73)
  ("(x stable)" 73 82)
  ("(x down)" 82 110)
  ("(x stable)" 110 113)
  ("(x up)" 113 137)
  ("(x stable)" 137 139)
  ("(x down)" 139 147)
  ("(x stable)" 147 154)
  ("(x up)" 154 156)
  ("(y 2)" 3 33)
  ("(y 3)" 33 40)
  ("(y 4)" 40 54)
  ("(y 3)" 54 62)
  ("(y 2)" 62 87)
  ("(y 3)" 87 90)
  ("(y 4)" 90 93)
  ("(y 5)" 93 96)
  ("(y 6)" 96 125)
  ("(y 5)" 125 129)
  ("(y 4)" 129 132)
  ("(y 3)" 132 135)
  ("(y 2)" 135 145)
  ("(y 1)" 145 153)
  ("(y 2)" 153 156)
  ("(y up)" 4 15)
  ("(y stable)" 15 19)
  ("(y down)" 19 47)
  ("(y stable)" 47 48)
  ("(y up)" 48 77)
  ("(y stable)" 77 81)
  ("(y down)" 81 112)
  ("(y up)" 112 150)
  ("(y down)" 150 156)
 ))
(3
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 14)
  ("(x 4)" 14 18)
  ("(x 5)" 18 23)
  ("(x 6)" 23 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 60)
  ("(x 2)" 60 88)
  ("(x 3)" 88 92)
  ("(x 4)" 92 96)
  ("(x 5)" 96 117)
  ("(x 4)" 117 121)
  ("(x 3)" 121 123)
  ("(x 2)" 123 127)
  ("(x 1)" 127 153)
  ("(x down)" 4 35)
  ("(x stable)" 35 36)
  ("(x up)" 36 68)
  ("(x stable)" 68 82)
  ("(x down)" 82 106)
  ("(x stable)" 106 110)
  ("(x up)" 110 134)
  ("(x stable)" 134 137)
  ("(x down)" 137 143)
  ("(x stable)" 143 144)
  ("(x up)" 144 153)
  ("(y 2)" 3 30)
  ("(y 3)" 30 35)
  ("(y 4)" 35 42)
  ("(y 5)" 42 50)
  ("(y 4)" 50 57)
  ("(y 3)" 57 63)
  ("(y 2)" 63 87)
  ("(y 3)" 87 90)
  ("(y 4)" 90 92)
  ("(y 5)" 92 95)
  ("(y 6)" 95 122)
  ("(y 5)" 122 125)
  ("(y 4)" 125 127)
  ("(y 3)" 127 131)
  ("(y 2)" 131 153)
  ("(y up)" 4 13)
  ("(y down)" 13 46)
  ("(y stable)" 46 47)
  ("(y up)" 47 74)
  ("(y stable)" 74 79)
  ("(y down)" 79 109)
  ("(y stable)" 109 110)
  ("(y up)" 110 142)
  ("(y stable)" 142 144)
  ("(y up)" 144 151)
  ("(y stable)" 151 153)
 ))
(4
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 13)
  ("(x 4)" 13 17)
  ("(x 5)" 17 22)
  ("(x 6)" 22 49)
  ("(x 5)" 49 52)
  ("(x 4)" 52 55)
  ("(x 3)" 55 59)
  ("(x 2)" 59 93)
  ("(x 3)" 93 97)
  ("(x 4)" 97 100)
  ("(x 5)" 100 113)
  ("(x 4)" 113 119)
  ("(x 3)" 119 124)
  ("(x 2)" 124 131)
  ("(x 1)" 131 146)
  ("(x 2)" 146 160)
  ("(x down)" 4 35)
  ("(x up)" 35 68)
  ("(x stable)" 68 73)
  ("(x up)" 73 80)
  ("(x stable)" 80 87)
  ("(x down)" 87 107)
  ("(x up)" 107 137)
  ("(x stable)" 137 138)
  ("(x down)" 138 159)
  ("(x stable)" 159 160)
  ("(y 2)" 3 28)
  ("(y 3)" 28 34)
  ("(y 4)" 34 44)
  ("(y 5)" 44 49)
  ("(y 4)" 49 57)
  ("(y 3)" 57 66)
  ("(y 2)" 66 94)
  ("(y 3)" 94 97)
  ("(y 4)" 97 99)
  ("(y 5)" 99 102)
  ("(y 6)" 102 131)
  ("(y 5)" 131 135)
  ("(y 4)" 135 137)
  ("(y 3)" 137 141)
  ("(y 2)" 141 149)
  ("(y 1)" 149 160)
  ("(y up)" 4 14)
  ("(y stable)" 14 17)
  ("(y down)" 17 47)
  ("(y up)" 47 85)
  ("(y stable)" 85 86)
  ("(y down)" 86 118)
  ("(y up)" 118 154)
  ("(y stable)" 154 158)
  ("(y down)" 158 160)
 ))
(5
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 13)
  ("(x 4)" 13 17)
  ("(x 5)" 17 21)
  ("(x 6)" 21 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 61)
  ("(x 2)" 61 86)
  ("(x 3)" 86 91)
  ("(x 4)" 91 112)
  ("(x 3)" 112 117)
  ("(x 2)" 117 122)
  ("(x 1)" 122 146)
  ("(x down)" 4 34)
  ("(x stable)" 34 35)
  ("(x up)" 35 70)
  ("(x stable)" 70 81)
  ("(x down)" 81 98)
  ("(x stable)" 98 99)
  ("(x up)" 99 130)
  ("(x stable)" 130 132)
  ("(x down)" 132 140)
  ("(x stable)" 140 146)
  ("(y 1)" 3 20)
  ("(y 2)" 20 27)
  ("(y 3)" 27 32)
  ("(y 4)" 32 36)
  ("(y 5)" 36 54)
  ("(y 4)" 54 60)
  ("(y 3)" 60 65)
  ("(y 2)" 65 86)
  ("(y 3)" 86 89)
  ("(y 4)" 89 91)
  ("(y 5)" 91 94)
  ("(y 6)" 94 119)
  ("(y 5)" 119 122)
  ("(y 4)" 122 125)
  ("(y 3)" 125 129)
  ("(y 2)" 129 134)
  ("(y 1)" 134 146)
  ("(y up)" 4 11)
  ("(y stable)" 11 13)
  ("(y down)" 13 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 76)
  ("(y stable)" 76 80)
  ("(y down)" 80 107)
  ("(y stable)" 107 109)
  ("(y up)" 109 143)
  ("(y stable)" 143 145)
  ("(y down)" 145 146)
 ))
(6
 (
  ("(x 1)" 3 5)
  ("(x 2)" 5 14)
  ("(x 3)" 14 18)
  ("(x 4)" 18 20)
  ("(x 5)" 20 23)
  ("(x 6)" 23 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 62)
  ("(x 2)" 62 73)
  ("(x 1)" 73 86)
  ("(x 2)" 86 90)
  ("(x 3)" 90 94)
  ("(x 4)" 94 99)
  ("(x 5)" 99 111)
  ("(x 4)" 111 121)
  ("(x 3)" 121 126)
  ("(x 2)" 126 132)
  ("(x 1)" 132 141)
  ("(x 2)" 141 158)
  ("(x down)" 4 37)
  ("(x up)" 37 78)
  ("(x stable)" 78 83)
  ("(x down)" 83 103)
  ("(x stable)" 103 107)
  ("(x up)" 107 136)
  ("(x stable)" 136 138)
  ("(x down)" 138 152)
  ("(x stable)" 152 153)
  ("(x up)" 153 158)
  ("(y 2)" 3 7)
  ("(y 1)" 7 28)
  ("(y 2)" 28 34)
  ("(y 3)" 34 38)
  ("(y 4)" 38 43)
  ("(y 5)" 43 52)
  ("(y 4)" 52 58)
  ("(y 3)" 58 64)
  ("(y 2)" 64 89)
  ("(y 3)" 89 92)
  ("(y 4)" 92 95)
  ("(y 5)" 95 99)
  ("(y 6)" 99 130)
  ("(y 5)" 130 134)
  ("(y 4)" 134 138)
  ("(y 3)" 138 141)
  ("(y 2)" 141 158)
  ("(y up)" 4 18)
  ("(y stable)" 18 22)
  ("(y down)" 22 47)
  ("(y stable)" 47 48)
  ("(y up)" 48 79)
  ("(y stable)" 79 83)
  ("(y down)" 83 114)
  ("(y stable)" 114 116)
  ("(y up)" 116 153)
  ("(y stable)" 153 155)
  ("(y down)" 155 158)
 ))
(7
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 20)
  ("(x 3)" 20 23)
  ("(x 4)" 23 25)
  ("(x 5)" 25 28)
  ("(x 6)" 28 61)
  ("(x 5)" 61 65)
  ("(x 4)" 65 68)
  ("(x 3)" 68 73)
  ("(x 2)" 73 106)
  ("(x 3)" 106 157)
  ("(x 2)" 157 191)
  ("(x down)" 4 43)
  ("(x stable)" 43 45)
  ("(x up)" 45 83)
  ("(x stable)" 83 99)
  ("(x down)" 99 115)
  ("(x stable)" 115 125)
  ("(x up)" 125 132)
  ("(x stable)" 132 150)
  ("(x up)" 150 164)
  ("(x stable)" 164 167)
  ("(x down)" 167 174)
  ("(x up)" 174 181)
  ("(x stable)" 181 184)
  ("(x up)" 184 191)
  ("(y 2)" 3 9)
  ("(y 1)" 9 28)
  ("(y 2)" 28 37)
  ("(y 3)" 37 43)
  ("(y 4)" 43 49)
  ("(y 5)" 49 66)
  ("(y 4)" 66 72)
  ("(y 3)" 72 78)
  ("(y 2)" 78 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 110)
  ("(y 5)" 110 114)
  ("(y 6)" 114 154)
  ("(y 5)" 154 158)
  ("(y 4)" 158 161)
  ("(y 3)" 161 165)
  ("(y 2)" 165 173)
  ("(y 1)" 173 191)
  ("(y up)" 4 20)
  ("(y stable)" 20 22)
  ("(y down)" 22 59)
  ("(y stable)" 59 60)
  ("(y up)" 60 91)
  ("(y stable)" 91 95)
  ("(y down)" 95 133)
  ("(y stable)" 133 143)
  ("(y up)" 143 185)
  ("(y stable)" 185 186)
  ("(y down)" 186 191)
 ))
(8
 (
  ("(x 2)" 3 15)
  ("(x 3)" 15 22)
  ("(x 4)" 22 26)
  ("(x 5)" 26 29)
  ("(x 6)" 29 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 63)
  ("(x 3)" 63 69)
  ("(x 2)" 69 90)
  ("(x 3)" 90 95)
  ("(x 4)" 95 127)
  ("(x 3)" 127 132)
  ("(x 2)" 132 138)
  ("(x 1)" 138 168)
  ("(x stable)" 4 6)
  ("(x down)" 6 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 79)
  ("(x stable)" 79 85)
  ("(x down)" 85 105)
  ("(x stable)" 105 120)
  ("(x up)" 120 147)
  ("(x stable)" 147 149)
  ("(x down)" 149 160)
  ("(x stable)" 160 162)
  ("(x up)" 162 168)
  ("(y 2)" 3 16)
  ("(y 1)" 16 26)
  ("(y 2)" 26 36)
  ("(y 3)" 36 41)
  ("(y 4)" 41 47)
  ("(y 5)" 47 56)
  ("(y 4)" 56 63)
  ("(y 3)" 63 70)
  ("(y 2)" 70 92)
  ("(y 3)" 92 95)
  ("(y 4)" 95 98)
  ("(y 5)" 98 101)
  ("(y 6)" 101 135)
  ("(y 5)" 135 140)
  ("(y 4)" 140 143)
  ("(y 3)" 143 147)
  ("(y 2)" 147 152)
  ("(y 1)" 152 168)
  ("(y up)" 4 13)
  ("(y stable)" 13 15)
  ("(y up)" 15 22)
  ("(y down)" 22 51)
  ("(y stable)" 51 53)
  ("(y up)" 53 82)
  ("(y stable)" 82 85)
  ("(y down)" 85 116)
  ("(y up)" 116 159)
  ("(y stable)" 159 161)
  ("(y down)" 161 168)
 ))
(9
 (
  ("(x 1)" 3 20)
  ("(x 2)" 20 23)
  ("(x 3)" 23 26)
  ("(x 4)" 26 28)
  ("(x 5)" 28 32)
  ("(x 6)" 32 53)
  ("(x 5)" 53 56)
  ("(x 4)" 56 59)
  ("(x 3)" 59 61)
  ("(x 2)" 61 65)
  ("(x 1)" 65 88)
  ("(x 2)" 88 94)
  ("(x 3)" 94 97)
  ("(x 4)" 97 101)
  ("(x 5)" 101 109)
  ("(x 6)" 109 125)
  ("(x 5)" 125 133)
  ("(x 4)" 133 163)
  ("(x 3)" 163 165)
  ("(x stable)" 4 5)
  ("(x down)" 5 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 73)
  ("(x stable)" 73 76)
  ("(x down)" 76 83)
  ("(x stable)" 83 84)
  ("(x down)" 84 114)
  ("(x stable)" 114 121)
  ("(x up)" 121 144)
  ("(x stable)" 144 159)
  ("(x up)" 159 165)
  ("(y 2)" 3 37)
  ("(y 3)" 37 44)
  ("(y 4)" 44 58)
  ("(y 3)" 58 64)
  ("(y 2)" 64 93)
  ("(y 3)" 93 96)
  ("(y 4)" 96 99)
  ("(y 5)" 99 102)
  ("(y 6)" 102 134)
  ("(y 5)" 134 138)
  ("(y 4)" 138 141)
  ("(y 3)" 141 146)
  ("(y 2)" 146 165)
  ("(y up)" 4 21)
  ("(y down)" 21 51)
  ("(y stable)" 51 52)
  ("(y up)" 52 78)
  ("(y stable)" 78 85)
  ("(y down)" 85 118)
  ("(y stable)" 118 119)
  ("(y up)" 119 156)
  ("(y stable)" 156 162)
  ("(y down)" 162 165)
 ))
(10
 (
  ("(x 1)" 3 7)
  ("(x 2)" 7 17)
  ("(x 3)" 17 21)
  ("(x 4)" 21 24)
  ("(x 5)" 24 29)
  ("(x 6)" 29 59)
  ("(x 5)" 59 62)
  ("(x 4)" 62 66)
  ("(x 3)" 66 70)
  ("(x 2)" 70 119)
  ("(x 3)" 119 123)
  ("(x 4)" 123 128)
  ("(x 5)" 128 149)
  ("(x 4)" 149 152)
  ("(x 3)" 152 155)
  ("(x 2)" 155 161)
  ("(x 1)" 161 168)
  ("(x 2)" 168 190)
  ("(x down)" 4 44)
  ("(x stable)" 44 45)
  ("(x up)" 45 85)
  ("(x stable)" 85 110)
  ("(x down)" 110 139)
  ("(x up)" 139 165)
  ("(x down)" 165 181)
  ("(x stable)" 181 186)
  ("(x up)" 186 190)
  ("(y 2)" 3 22)
  ("(y 1)" 22 30)
  ("(y 2)" 30 41)
  ("(y 3)" 41 47)
  ("(y 4)" 47 70)
  ("(y 3)" 70 78)
  ("(y 2)" 78 118)
  ("(y 3)" 118 121)
  ("(y 4)" 121 124)
  ("(y 5)" 124 127)
  ("(y 6)" 127 161)
  ("(y 5)" 161 165)
  ("(y 4)" 165 169)
  ("(y 3)" 169 184)
  ("(y 2)" 184 190)
  ("(y up)" 4 25)
  ("(y stable)" 25 28)
  ("(y down)" 28 59)
  ("(y up)" 59 96)
  ("(y stable)" 96 108)
  ("(y down)" 108 146)
  ("(y up)" 146 181)
  ("(y stable)" 181 182)
  ("(y up)" 182 187)
  ("(y stable)" 187 189)
  ("(y down)" 189 190)
 ))
(11
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 12)
  ("(x 4)" 12 16)
  ("(x 5)" 16 19)
  ("(x 6)" 19 46)
  ("(x 5)" 46 49)
  ("(x 4)" 49 51)
  ("(x 3)" 51 54)
  ("(x 2)" 54 88)
  ("(x 3)" 88 93)
  ("(x 4)" 93 103)
  ("(x 5)" 103 120)
  ("(x 4)" 120 126)
  ("(x 3)" 126 130)
  ("(x 2)" 130 135)
  ("(x 1)" 135 150)
  ("(x 2)" 150 166)
  ("(x down)" 4 33)
  ("(x up)" 33 63)
  ("(x stable)" 63 64)
  ("(x down)" 64 71)
  ("(x stable)" 71 80)
  ("(x down)" 80 112)
  ("(x stable)" 112 115)
  ("(x up)" 115 142)
  ("(x stable)" 142 143)
  ("(x down)" 143 156)
  ("(x stable)" 156 163)
  ("(x up)" 163 166)
  ("(y 1)" 3 20)
  ("(y 2)" 20 28)
  ("(y 3)" 28 33)
  ("(y 4)" 33 52)
  ("(y 3)" 52 58)
  ("(y 2)" 58 68)
  ("(y 1)" 68 80)
  ("(y 2)" 80 88)
  ("(y 3)" 88 91)
  ("(y 4)" 91 94)
  ("(y 5)" 94 98)
  ("(y 6)" 98 133)
  ("(y 5)" 133 137)
  ("(y 4)" 137 141)
  ("(y 3)" 141 146)
  ("(y 2)" 146 166)
  ("(y up)" 4 11)
  ("(y stable)" 11 13)
  ("(y down)" 13 43)
  ("(y stable)" 43 44)
  ("(y up)" 44 74)
  ("(y stable)" 74 76)
  ("(y down)" 76 112)
  ("(y stable)" 112 117)
  ("(y up)" 117 157)
  ("(y stable)" 157 165)
  ("(y down)" 165 166)
 ))
(12
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 14)
  ("(x 5)" 14 18)
  ("(x 6)" 18 52)
  ("(x 5)" 52 56)
  ("(x 4)" 56 60)
  ("(x 3)" 60 66)
  ("(x 2)" 66 103)
  ("(x 3)" 103 149)
  ("(x 2)" 149 156)
  ("(x 1)" 156 185)
  ("(x down)" 4 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 74)
  ("(x stable)" 74 76)
  ("(x up)" 76 83)
  ("(x stable)" 83 94)
  ("(x down)" 94 116)
  ("(x stable)" 116 119)
  ("(x up)" 119 126)
  ("(x stable)" 126 132)
  ("(x up)" 132 139)
  ("(x stable)" 139 143)
  ("(x up)" 143 163)
  ("(x stable)" 163 185)
  ("(y 1)" 3 21)
  ("(y 2)" 21 30)
  ("(y 3)" 30 35)
  ("(y 4)" 35 43)
  ("(y 5)" 43 52)
  ("(y 4)" 52 61)
  ("(y 3)" 61 69)
  ("(y 2)" 69 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 110)
  ("(y 5)" 110 114)
  ("(y 6)" 114 152)
  ("(y 5)" 152 155)
  ("(y 4)" 155 158)
  ("(y 3)" 158 161)
  ("(y 2)" 161 185)
  ("(y up)" 4 11)
  ("(y stable)" 11 13)
  ("(y down)" 13 48)
  ("(y up)" 48 83)
  ("(y stable)" 83 93)
  ("(y down)" 93 136)
  ("(y stable)" 136 140)
  ("(y up)" 140 174)
  ("(y stable)" 174 183)
  ("(y down)" 183 185)
 ))
(13
 (
  ("(x 1)" 3 14)
  ("(x 2)" 14 20)
  ("(x 3)" 20 24)
  ("(x 4)" 24 27)
  ("(x 5)" 27 31)
  ("(x 6)" 31 61)
  ("(x 5)" 61 64)
  ("(x 4)" 64 67)
  ("(x 3)" 67 72)
  ("(x 2)" 72 118)
  ("(x 3)" 118 127)
  ("(x 4)" 127 147)
  ("(x 3)" 147 187)
  ("(x down)" 4 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 83)
  ("(x stable)" 83 111)
  ("(x down)" 111 128)
  ("(x stable)" 128 147)
  ("(x up)" 147 172)
  ("(x stable)" 172 174)
  ("(x down)" 174 183)
  ("(x stable)" 183 187)
  ("(y 2)" 3 19)
  ("(y 1)" 19 31)
  ("(y 2)" 31 41)
  ("(y 3)" 41 46)
  ("(y 4)" 46 52)
  ("(y 5)" 52 60)
  ("(y 4)" 60 67)
  ("(y 3)" 67 75)
  ("(y 2)" 75 116)
  ("(y 3)" 116 119)
  ("(y 4)" 119 122)
  ("(y 5)" 122 126)
  ("(y 6)" 126 162)
  ("(y 5)" 162 166)
  ("(y 4)" 166 170)
  ("(y 3)" 170 175)
  ("(y 2)" 175 187)
  ("(y up)" 4 9)
  ("(y stable)" 9 10)
  ("(y up)" 10 23)
  ("(y stable)" 23 28)
  ("(y down)" 28 56)
  ("(y stable)" 56 57)
  ("(y up)" 57 95)
  ("(y stable)" 95 109)
  ("(y down)" 109 141)
  ("(y stable)" 141 144)
  ("(y up)" 144 181)
  ("(y stable)" 181 187)
 ))
(14
 (
  ("(x 2)" 3 17)
  ("(x 3)" 17 21)
  ("(x 4)" 21 25)
  ("(x 5)" 25 29)
  ("(x 6)" 29 61)
  ("(x 5)" 61 65)
  ("(x 4)" 65 68)
  ("(x 3)" 68 74)
  ("(x 2)" 74 107)
  ("(x 3)" 107 112)
  ("(x 4)" 112 116)
  ("(x 5)" 116 131)
  ("(x 4)" 131 136)
  ("(x 3)" 136 140)
  ("(x 2)" 140 146)
  ("(x 1)" 146 163)
  ("(x 2)" 163 176)
  ("(x stable)" 4 6)
  ("(x down)" 6 46)
  ("(x stable)" 46 48)
  ("(x up)" 48 87)
  ("(x stable)" 87 100)
  ("(x down)" 100 124)
  ("(x up)" 124 153)
  ("(x down)" 153 172)
  ("(x stable)" 172 175)
  ("(x down)" 175 176)
  ("(y 2)" 3 36)
  ("(y 3)" 36 43)
  ("(y 4)" 43 49)
  ("(y 5)" 49 64)
  ("(y 4)" 64 71)
  ("(y 3)" 71 77)
  ("(y 2)" 77 106)
  ("(y 3)" 106 110)
  ("(y 4)" 110 113)
  ("(y 5)" 113 116)
  ("(y 6)" 116 145)
  ("(y 5)" 145 148)
  ("(y 4)" 148 151)
  ("(y 3)" 151 154)
  ("(y 2)" 154 161)
  ("(y 1)" 161 176)
  ("(y up)" 4 22)
  ("(y stable)" 22 23)
  ("(y down)" 23 57)
  ("(y up)" 57 91)
  ("(y stable)" 91 98)
  ("(y down)" 98 132)
  ("(y stable)" 132 133)
  ("(y up)" 133 170)
  ("(y stable)" 170 174)
  ("(y down)" 174 176)
 ))
(15
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 18)
  ("(x 5)" 18 23)
  ("(x 6)" 23 54)
  ("(x 5)" 54 57)
  ("(x 4)" 57 60)
  ("(x 3)" 60 64)
  ("(x 2)" 64 104)
  ("(x 3)" 104 109)
  ("(x 4)" 109 126)
  ("(x 3)" 126 132)
  ("(x 2)" 132 138)
  ("(x 1)" 138 156)
  ("(x 2)" 156 172)
  ("(x down)" 4 40)
  ("(x stable)" 40 42)
  ("(x up)" 42 71)
  ("(x stable)" 71 98)
  ("(x down)" 98 116)
  ("(x stable)" 116 118)
  ("(x up)" 118 146)
  ("(x stable)" 146 147)
  ("(x down)" 147 168)
  ("(x stable)" 168 171)
  ("(x up)" 171 172)
  ("(y 2)" 3 28)
  ("(y 3)" 28 33)
  ("(y 4)" 33 38)
  ("(y 5)" 38 47)
  ("(y 6)" 47 53)
  ("(y 5)" 53 60)
  ("(y 4)" 60 64)
  ("(y 3)" 64 68)
  ("(y 2)" 68 99)
  ("(y 3)" 99 102)
  ("(y 4)" 102 105)
  ("(y 5)" 105 109)
  ("(y 6)" 109 137)
  ("(y 5)" 137 140)
  ("(y 4)" 140 143)
  ("(y 3)" 143 146)
  ("(y 2)" 146 155)
  ("(y 1)" 155 172)
  ("(y up)" 4 8)
  ("(y stable)" 8 13)
  ("(y down)" 13 50)
  ("(y stable)" 50 51)
  ("(y up)" 51 79)
  ("(y stable)" 79 91)
  ("(y down)" 91 125)
  ("(y up)" 125 166)
  ("(y stable)" 166 170)
  ("(y down)" 170 172)
 ))
(16
 (
  ("(x 2)" 3 32)
  ("(x 3)" 32 37)
  ("(x 4)" 37 40)
  ("(x 5)" 40 44)
  ("(x 6)" 44 71)
  ("(x 5)" 71 74)
  ("(x 4)" 74 76)
  ("(x 3)" 76 80)
  ("(x 2)" 80 119)
  ("(x 3)" 119 122)
  ("(x 4)" 122 124)
  ("(x 5)" 124 128)
  ("(x 6)" 128 149)
  ("(x 5)" 149 154)
  ("(x 4)" 154 158)
  ("(x 3)" 158 161)
  ("(x 2)" 161 167)
  ("(x 1)" 167 175)
  ("(x 2)" 175 204)
  ("(x stable)" 4 14)
  ("(x down)" 14 56)
  ("(x stable)" 56 58)
  ("(x up)" 58 88)
  ("(x stable)" 88 113)
  ("(x down)" 113 135)
  ("(x stable)" 135 141)
  ("(x up)" 141 171)
  ("(x stable)" 171 172)
  ("(x down)" 172 183)
  ("(x stable)" 183 187)
  ("(x down)" 187 194)
  ("(x stable)" 194 203)
  ("(x up)" 203 204)
  ("(y 2)" 3 47)
  ("(y 3)" 47 51)
  ("(y 4)" 51 56)
  ("(y 5)" 56 73)
  ("(y 4)" 73 79)
  ("(y 3)" 79 86)
  ("(y 2)" 86 118)
  ("(y 3)" 118 121)
  ("(y 4)" 121 124)
  ("(y 5)" 124 128)
  ("(y 6)" 128 165)
  ("(y 5)" 165 169)
  ("(y 4)" 169 172)
  ("(y 3)" 172 176)
  ("(y 2)" 176 204)
  ("(y stable)" 4 14)
  ("(y up)" 14 21)
  ("(y stable)" 21 26)
  ("(y up)" 26 33)
  ("(y stable)" 33 35)
  ("(y down)" 35 66)
  ("(y up)" 66 99)
  ("(y stable)" 99 111)
  ("(y down)" 111 146)
  ("(y stable)" 146 148)
  ("(y up)" 148 202)
  ("(y stable)" 202 204)
 ))
(17
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 18)
  ("(x 4)" 18 27)
  ("(x 5)" 27 34)
  ("(x 6)" 34 71)
  ("(x 5)" 71 75)
  ("(x 4)" 75 79)
  ("(x 3)" 79 86)
  ("(x 2)" 86 122)
  ("(x 3)" 122 170)
  ("(x 2)" 170 181)
  ("(x 1)" 181 211)
  ("(x down)" 4 51)
  ("(x stable)" 51 53)
  ("(x up)" 53 102)
  ("(x stable)" 102 112)
  ("(x down)" 112 133)
  ("(x stable)" 133 160)
  ("(x up)" 160 184)
  ("(x stable)" 184 194)
  ("(x up)" 194 201)
  ("(x stable)" 201 204)
  ("(x up)" 204 211)
  ("(y 2)" 3 42)
  ("(y 3)" 42 48)
  ("(y 4)" 48 55)
  ("(y 5)" 55 72)
  ("(y 4)" 72 79)
  ("(y 3)" 79 86)
  ("(y 2)" 86 118)
  ("(y 3)" 118 121)
  ("(y 4)" 121 124)
  ("(y 5)" 124 128)
  ("(y 6)" 128 170)
  ("(y 5)" 170 173)
  ("(y 4)" 173 176)
  ("(y 3)" 176 181)
  ("(y 2)" 181 190)
  ("(y 1)" 190 211)
  ("(y up)" 4 13)
  ("(y stable)" 13 14)
  ("(y up)" 14 21)
  ("(y stable)" 21 31)
  ("(y down)" 31 63)
  ("(y stable)" 63 66)
  ("(y up)" 66 101)
  ("(y stable)" 101 109)
  ("(y down)" 109 149)
  ("(y stable)" 149 158)
  ("(y up)" 158 196)
  ("(y stable)" 196 206)
  ("(y down)" 206 211)
 ))
(18
 (
  ("(x 1)" 3 9)
  ("(x 2)" 9 14)
  ("(x 3)" 14 17)
  ("(x 4)" 17 20)
  ("(x 5)" 20 25)
  ("(x 6)" 25 57)
  ("(x 5)" 57 60)
  ("(x 4)" 60 63)
  ("(x 3)" 63 67)
  ("(x 2)" 67 101)
  ("(x 3)" 101 105)
  ("(x 4)" 105 123)
  ("(x 3)" 123 145)
  ("(x 2)" 145 175)
  ("(x 1)" 175 182)
  ("(x down)" 4 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 78)
  ("(x stable)" 78 95)
  ("(x down)" 95 111)
  ("(x stable)" 111 113)
  ("(x up)" 113 126)
  ("(x stable)" 126 138)
  ("(x up)" 138 154)
  ("(x stable)" 154 160)
  ("(x down)" 160 166)
  ("(x stable)" 166 167)
  ("(x up)" 167 178)
  ("(x stable)" 178 182)
  ("(y 2)" 3 10)
  ("(y 1)" 10 28)
  ("(y 2)" 28 36)
  ("(y 3)" 36 43)
  ("(y 4)" 43 61)
  ("(y 3)" 61 72)
  ("(y 2)" 72 100)
  ("(y 3)" 100 103)
  ("(y 4)" 103 106)
  ("(y 5)" 106 110)
  ("(y 6)" 110 146)
  ("(y 5)" 146 150)
  ("(y 4)" 150 153)
  ("(y 3)" 153 159)
  ("(y 2)" 159 177)
  ("(y 1)" 177 179)
  ("(y 2)" 179 182)
  ("(y up)" 4 18)
  ("(y stable)" 18 23)
  ("(y down)" 23 51)
  ("(y stable)" 51 54)
  ("(y up)" 54 83)
  ("(y stable)" 83 94)
  ("(y down)" 94 127)
  ("(y stable)" 127 133)
  ("(y up)" 133 178)
  ("(y stable)" 178 179)
  ("(y down)" 179 182)
 ))
(19
 (
  ("(x 1)" 3 4)
  ("(x 2)" 4 8)
  ("(x 3)" 8 12)
  ("(x 4)" 12 15)
  ("(x 5)" 15 18)
  ("(x 6)" 18 51)
  ("(x 5)" 51 55)
  ("(x 4)" 55 58)
  ("(x 3)" 58 63)
  ("(x 2)" 63 93)
  ("(x 3)" 93 102)
  ("(x 2)" 102 154)
  ("(x 3)" 154 175)
  ("(x 2)" 175 176)
  ("(x down)" 4 32)
  ("(x stable)" 32 35)
  ("(x up)" 35 68)
  ("(x stable)" 68 89)
  ("(x down)" 89 98)
  ("(x up)" 98 113)
  ("(x stable)" 113 143)
  ("(x down)" 143 162)
  ("(x stable)" 162 171)
  ("(x up)" 171 176)
  ("(y 2)" 3 5)
  ("(y 1)" 5 23)
  ("(y 2)" 23 31)
  ("(y 3)" 31 37)
  ("(y 4)" 37 59)
  ("(y 3)" 59 66)
  ("(y 2)" 66 93)
  ("(y 3)" 93 96)
  ("(y 4)" 96 99)
  ("(y 5)" 99 103)
  ("(y 6)" 103 137)
  ("(y 5)" 137 141)
  ("(y 4)" 141 144)
  ("(y 3)" 144 150)
  ("(y 2)" 150 176)
  ("(y up)" 4 15)
  ("(y stable)" 15 17)
  ("(y down)" 17 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 82)
  ("(y stable)" 82 85)
  ("(y down)" 85 120)
  ("(y stable)" 120 122)
  ("(y up)" 122 166)
  ("(y stable)" 166 175)
  ("(y down)" 175 176)
 ))
(20
 (
  ("(x 2)" 3 18)
  ("(x 3)" 18 23)
  ("(x 4)" 23 27)
  ("(x 5)" 27 31)
  ("(x 6)" 31 65)
  ("(x 5)" 65 68)
  ("(x 4)" 68 71)
  ("(x 3)" 71 75)
  ("(x 2)" 75 110)
  ("(x 3)" 110 114)
  ("(x 4)" 114 119)
  ("(x 5)" 119 140)
  ("(x 4)" 140 144)
  ("(x 3)" 144 148)
  ("(x 2)" 148 152)
  ("(x 1)" 152 164)
  ("(x 2)" 164 185)
  ("(x 1)" 185 188)
  ("(x stable)" 4 8)
  ("(x down)" 8 49)
  ("(x up)" 49 86)
  ("(x stable)" 86 102)
  ("(x down)" 102 127)
  ("(x stable)" 127 134)
  ("(x up)" 134 157)
  ("(x stable)" 157 158)
  ("(x down)" 158 172)
  ("(x stable)" 172 181)
  ("(x up)" 181 188)
  ("(y 2)" 3 44)
  ("(y 3)" 44 49)
  ("(y 4)" 49 55)
  ("(y 5)" 55 65)
  ("(y 4)" 65 71)
  ("(y 3)" 71 77)
  ("(y 2)" 77 108)
  ("(y 3)" 108 112)
  ("(y 4)" 112 114)
  ("(y 5)" 114 118)
  ("(y 6)" 118 151)
  ("(y 5)" 151 154)
  ("(y 4)" 154 158)
  ("(y 3)" 158 165)
  ("(y 2)" 165 188)
  ("(y stable)" 4 8)
  ("(y up)" 8 26)
  ("(y stable)" 26 27)
  ("(y down)" 27 60)
  ("(y stable)" 60 62)
  ("(y up)" 62 95)
  ("(y stable)" 95 100)
  ("(y down)" 100 135)
  ("(y up)" 135 180)
  ("(y stable)" 180 181)
  ("(y up)" 181 188)
 ))
(21
 (
  ("(x 1)" 3 9)
  ("(x 2)" 9 13)
  ("(x 3)" 13 16)
  ("(x 4)" 16 18)
  ("(x 5)" 18 22)
  ("(x 6)" 22 50)
  ("(x 5)" 50 53)
  ("(x 4)" 53 56)
  ("(x 3)" 56 60)
  ("(x 2)" 60 70)
  ("(x 1)" 70 82)
  ("(x 2)" 82 90)
  ("(x 3)" 90 94)
  ("(x 4)" 94 122)
  ("(x 3)" 122 129)
  ("(x 2)" 129 164)
  ("(x down)" 4 35)
  ("(x stable)" 35 36)
  ("(x up)" 36 74)
  ("(x stable)" 74 80)
  ("(x down)" 80 103)
  ("(x stable)" 103 104)
  ("(x up)" 104 111)
  ("(x stable)" 111 115)
  ("(x up)" 115 138)
  ("(x stable)" 138 139)
  ("(x down)" 139 152)
  ("(x stable)" 152 159)
  ("(x up)" 159 164)
  ("(y 2)" 3 29)
  ("(y 3)" 29 35)
  ("(y 4)" 35 55)
  ("(y 3)" 55 62)
  ("(y 2)" 62 74)
  ("(y 1)" 74 82)
  ("(y 2)" 82 89)
  ("(y 3)" 89 91)
  ("(y 4)" 91 94)
  ("(y 5)" 94 97)
  ("(y 6)" 97 132)
  ("(y 5)" 132 135)
  ("(y 4)" 135 138)
  ("(y 3)" 138 140)
  ("(y 2)" 140 164)
  ("(y up)" 4 12)
  ("(y stable)" 12 16)
  ("(y down)" 16 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 78)
  ("(y stable)" 78 80)
  ("(y down)" 80 112)
  ("(y stable)" 112 118)
  ("(y up)" 118 151)
  ("(y stable)" 151 159)
  ("(y down)" 159 164)
 ))
(22
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 13)
  ("(x 5)" 13 17)
  ("(x 6)" 17 46)
  ("(x 5)" 46 51)
  ("(x 4)" 51 54)
  ("(x 3)" 54 59)
  ("(x 2)" 59 86)
  ("(x 3)" 86 92)
  ("(x 4)" 92 119)
  ("(x 3)" 119 122)
  ("(x 2)" 122 126)
  ("(x 1)" 126 144)
  ("(x 2)" 144 162)
  ("(x down)" 4 30)
  ("(x up)" 30 66)
  ("(x stable)" 66 81)
  ("(x down)" 81 101)
  ("(x stable)" 101 113)
  ("(x up)" 113 133)
  ("(x stable)" 133 134)
  ("(x down)" 134 150)
  ("(x stable)" 150 159)
  ("(x up)" 159 162)
  ("(y 2)" 3 8)
  ("(y 1)" 8 16)
  ("(y 2)" 16 26)
  ("(y 3)" 26 31)
  ("(y 4)" 31 55)
  ("(y 3)" 55 61)
  ("(y 2)" 61 86)
  ("(y 3)" 86 89)
  ("(y 4)" 89 91)
  ("(y 5)" 91 94)
  ("(y 6)" 94 126)
  ("(y 5)" 126 129)
  ("(y 4)" 129 132)
  ("(y 3)" 132 136)
  ("(y 2)" 136 151)
  ("(y 1)" 151 160)
  ("(y 2)" 160 162)
  ("(y up)" 4 11)
  ("(y stable)" 11 14)
  ("(y down)" 14 46)
  ("(y up)" 46 76)
  ("(y stable)" 76 77)
  ("(y down)" 77 109)
  ("(y stable)" 109 112)
  ("(y up)" 112 154)
  ("(y stable)" 154 158)
  ("(y down)" 158 162)
 ))
